Section: Partnerships and Cooperations
Regional Initiatives
The Celtique team collaborates with DGA-MI, a research laboratory belonging to the French army, and located in Rennes. The collaboration has several facets.
-
We run a joint bi-monthly seminar on Security and Formal Methods. This seminar attracts attendance from academia and industry.
-
DGA-MI is funding a PhD thesis, supervised jointly, on code obfuscation.
-
Colas Le Guernic, a DGA-MI researcher, is external collaborator of Celtique on our activities on analysis of binary code.